Make compressing the info files optional.
authorGlenn Morris <rgm@gnu.org>
Fri, 11 Jun 2010 03:35:40 +0000 (20:35 -0700)
committerGlenn Morris <rgm@gnu.org>
Fri, 11 Jun 2010 03:35:40 +0000 (20:35 -0700)
commit7118988617d706a141474541c8f145d2f86b7272
tree5acb8e711292fcd046086206f566a03aed2cad7b
parente581ec1ed53f6a3aaefc168ec9d3d278c1b51f9d
Make compressing the info files optional.

* configure.in (--without-compress-info): New option.
(GZIP_INFO): New output variable.

* Makefile.in (GZIP_INFO): New, set by configure.
(install-arch-indep): Don't gzip info pages if GZIP_INFO is nil.
Handle man pages in the same way.

* etc/NEWS: Re-order installation section, and add new item.
ChangeLog
INSTALL
Makefile.in
configure.in
etc/NEWS